Sec 05-05 Demorgans Theorem